منابع مشابه
A calculational fusion system HYLO
Fusion, one of the most useful transformation tactics for deriving e cient programs, is the process whereby separate pieces of programs are fused into a single one, leading to an e cient program with no intermediate data structures produced. In this paper, we report our on-going investigation on the design and implementation of an automatic transformation system HYLO which performs fusion trans...
متن کاملIdealism and Pragmatism
1. The Problem I begin with a gloomy observation on monastic education by Phra Prayud Payutto (1939) of Thailan whom Tambiah calls "a brilliant scholar-monk" [1]. Payutto said in 1984: "The present state of m education is similar to a sky which has some spots of sunshine, but is in fact full of cloud. The sky is n clear. When monks themselves see the dull and overcast sky they may feel disheart...
متن کاملIdealism in Yogācāra Buddhism
In the last fifty years or so, since Yogācāra texts have been available to western academics, there has been a debate as to how Yogācāra Buddhism should be interpreted. This article seeks to establish that Yogācāra Buddhism is most properly interpreted as an idealist school of Buddhist thought. Specifically, it challenges the arguments that have been put forth in recent years that suggest a phe...
متن کاملCausal Refutations of Idealism
In the ‘Refutation of Idealism’ chapter of the first ‘Critique’, Kant argues that the conditions required for having certain kinds of mental episodes are sufficient to guarantee that there are ‘objects in space’ outside us. A perennially influential way of reading this compressed argument is as a kind of causal inference: in order for us to make justified judgements about the order of our inner...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1892
ISSN: 0028-0836,1476-4687
DOI: 10.1038/045389a0